Optimal. Leaf size=327 \[ -\frac {2 d^2 f g p x^n}{3 e^2 n}+\frac {d^5 g^2 p x^n}{6 e^5 n}+\frac {d f g p x^{2 n}}{3 e n}-\frac {d^4 g^2 p x^{2 n}}{12 e^4 n}-\frac {2 f g p x^{3 n}}{9 n}+\frac {d^3 g^2 p x^{3 n}}{18 e^3 n}-\frac {d^2 g^2 p x^{4 n}}{24 e^2 n}+\frac {d g^2 p x^{5 n}}{30 e n}-\frac {g^2 p x^{6 n}}{36 n}+\frac {2 d^3 f g p \log \left (d+e x^n\right )}{3 e^3 n}-\frac {d^6 g^2 p \log \left (d+e x^n\right )}{6 e^6 n}+\frac {2 f g x^{3 n} \log \left (c \left (d+e x^n\right )^p\right )}{3 n}+\frac {g^2 x^{6 n} \log \left (c \left (d+e x^n\right )^p\right )}{6 n}+\frac {f^2 \log \left (-\frac {e x^n}{d}\right ) \log \left (c \left (d+e x^n\right )^p\right )}{n}+\frac {f^2 p \text {Li}_2\left (1+\frac {e x^n}{d}\right )}{n} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.21, antiderivative size = 327, normalized size of antiderivative = 1.00, number of steps
used = 11, number of rules used = 7, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.259, Rules used = {2525, 272, 45,
2463, 2441, 2352, 2442} \begin {gather*} \frac {f^2 p \text {PolyLog}\left (2,\frac {e x^n}{d}+1\right )}{n}+\frac {f^2 \log \left (-\frac {e x^n}{d}\right ) \log \left (c \left (d+e x^n\right )^p\right )}{n}+\frac {2 f g x^{3 n} \log \left (c \left (d+e x^n\right )^p\right )}{3 n}+\frac {g^2 x^{6 n} \log \left (c \left (d+e x^n\right )^p\right )}{6 n}-\frac {d^6 g^2 p \log \left (d+e x^n\right )}{6 e^6 n}+\frac {d^5 g^2 p x^n}{6 e^5 n}-\frac {d^4 g^2 p x^{2 n}}{12 e^4 n}+\frac {2 d^3 f g p \log \left (d+e x^n\right )}{3 e^3 n}+\frac {d^3 g^2 p x^{3 n}}{18 e^3 n}-\frac {2 d^2 f g p x^n}{3 e^2 n}-\frac {d^2 g^2 p x^{4 n}}{24 e^2 n}+\frac {d f g p x^{2 n}}{3 e n}+\frac {d g^2 p x^{5 n}}{30 e n}-\frac {2 f g p x^{3 n}}{9 n}-\frac {g^2 p x^{6 n}}{36 n} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 272
Rule 2352
Rule 2441
Rule 2442
Rule 2463
Rule 2525
Rubi steps
\begin {align*} \int \frac {\left (f+g x^{3 n}\right )^2 \log \left (c \left (d+e x^n\right )^p\right )}{x} \, dx &=\frac {\text {Subst}\left (\int \frac {\left (f+g x^3\right )^2 \log \left (c (d+e x)^p\right )}{x} \, dx,x,x^n\right )}{n}\\ &=\frac {\text {Subst}\left (\int \left (\frac {f^2 \log \left (c (d+e x)^p\right )}{x}+2 f g x^2 \log \left (c (d+e x)^p\right )+g^2 x^5 \log \left (c (d+e x)^p\right )\right ) \, dx,x,x^n\right )}{n}\\ &=\frac {f^2 \text {Subst}\left (\int \frac {\log \left (c (d+e x)^p\right )}{x} \, dx,x,x^n\right )}{n}+\frac {(2 f g) \text {Subst}\left (\int x^2 \log \left (c (d+e x)^p\right ) \, dx,x,x^n\right )}{n}+\frac {g^2 \text {Subst}\left (\int x^5 \log \left (c (d+e x)^p\right ) \, dx,x,x^n\right )}{n}\\ &=\frac {2 f g x^{3 n} \log \left (c \left (d+e x^n\right )^p\right )}{3 n}+\frac {g^2 x^{6 n} \log \left (c \left (d+e x^n\right )^p\right )}{6 n}+\frac {f^2 \log \left (-\frac {e x^n}{d}\right ) \log \left (c \left (d+e x^n\right )^p\right )}{n}-\frac {\left (e f^2 p\right ) \text {Subst}\left (\int \frac {\log \left (-\frac {e x}{d}\right )}{d+e x} \, dx,x,x^n\right )}{n}-\frac {(2 e f g p) \text {Subst}\left (\int \frac {x^3}{d+e x} \, dx,x,x^n\right )}{3 n}-\frac {\left (e g^2 p\right ) \text {Subst}\left (\int \frac {x^6}{d+e x} \, dx,x,x^n\right )}{6 n}\\ &=\frac {2 f g x^{3 n} \log \left (c \left (d+e x^n\right )^p\right )}{3 n}+\frac {g^2 x^{6 n} \log \left (c \left (d+e x^n\right )^p\right )}{6 n}+\frac {f^2 \log \left (-\frac {e x^n}{d}\right ) \log \left (c \left (d+e x^n\right )^p\right )}{n}+\frac {f^2 p \text {Li}_2\left (1+\frac {e x^n}{d}\right )}{n}-\frac {(2 e f g p) \text {Subst}\left (\int \left (\frac {d^2}{e^3}-\frac {d x}{e^2}+\frac {x^2}{e}-\frac {d^3}{e^3 (d+e x)}\right ) \, dx,x,x^n\right )}{3 n}-\frac {\left (e g^2 p\right ) \text {Subst}\left (\int \left (-\frac {d^5}{e^6}+\frac {d^4 x}{e^5}-\frac {d^3 x^2}{e^4}+\frac {d^2 x^3}{e^3}-\frac {d x^4}{e^2}+\frac {x^5}{e}+\frac {d^6}{e^6 (d+e x)}\right ) \, dx,x,x^n\right )}{6 n}\\ &=-\frac {2 d^2 f g p x^n}{3 e^2 n}+\frac {d^5 g^2 p x^n}{6 e^5 n}+\frac {d f g p x^{2 n}}{3 e n}-\frac {d^4 g^2 p x^{2 n}}{12 e^4 n}-\frac {2 f g p x^{3 n}}{9 n}+\frac {d^3 g^2 p x^{3 n}}{18 e^3 n}-\frac {d^2 g^2 p x^{4 n}}{24 e^2 n}+\frac {d g^2 p x^{5 n}}{30 e n}-\frac {g^2 p x^{6 n}}{36 n}+\frac {2 d^3 f g p \log \left (d+e x^n\right )}{3 e^3 n}-\frac {d^6 g^2 p \log \left (d+e x^n\right )}{6 e^6 n}+\frac {2 f g x^{3 n} \log \left (c \left (d+e x^n\right )^p\right )}{3 n}+\frac {g^2 x^{6 n} \log \left (c \left (d+e x^n\right )^p\right )}{6 n}+\frac {f^2 \log \left (-\frac {e x^n}{d}\right ) \log \left (c \left (d+e x^n\right )^p\right )}{n}+\frac {f^2 p \text {Li}_2\left (1+\frac {e x^n}{d}\right )}{n}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.15, size = 341, normalized size = 1.04 \begin {gather*} \frac {-240 d^2 e^4 f g p x^n+60 d^5 e g^2 p x^n+120 d e^5 f g p x^{2 n}-30 d^4 e^2 g^2 p x^{2 n}-80 e^6 f g p x^{3 n}+20 d^3 e^3 g^2 p x^{3 n}-15 d^2 e^4 g^2 p x^{4 n}+12 d e^5 g^2 p x^{5 n}-10 e^6 g^2 p x^{6 n}+240 d^3 e^3 f g p \log \left (d-d x^n\right )-60 d^6 g^2 p \log \left (d-d x^n\right )+360 e^6 f^2 p \log \left (-\frac {e x^n}{d}\right ) \log \left (d+e x^n\right )+240 e^6 f g x^{3 n} \log \left (c \left (d+e x^n\right )^p\right )+60 e^6 g^2 x^{6 n} \log \left (c \left (d+e x^n\right )^p\right )-60 n \log (x) \left (d^3 g \left (-4 e^3 f+d^3 g\right ) p+6 e^6 f^2 p \log \left (d+e x^n\right )-6 e^6 f^2 \log \left (c \left (d+e x^n\right )^p\right )\right )+360 e^6 f^2 p \text {Li}_2\left (1+\frac {e x^n}{d}\right )}{360 e^6 n} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 1.34, size = 795, normalized size = 2.43
method | result | size |
risch | \(\frac {d^{5} g^{2} p \,x^{n}}{6 e^{5} n}-\frac {d^{4} g^{2} p \,x^{2 n}}{12 e^{4} n}-\frac {g^{2} p \,x^{6 n}}{36 n}+\frac {2 d^{3} f g p \ln \left (d +e \,x^{n}\right )}{3 e^{3} n}-\frac {d^{6} g^{2} p \ln \left (d +e \,x^{n}\right )}{6 e^{6} n}+\frac {d^{3} g^{2} p \,x^{3 n}}{18 e^{3} n}-\frac {d^{2} g^{2} p \,x^{4 n}}{24 e^{2} n}+\frac {d \,g^{2} p \,x^{5 n}}{30 e n}-\frac {2 d^{2} f g p \,x^{n}}{3 e^{2} n}+\frac {d f g p \,x^{2 n}}{3 e n}-\frac {2 f g p \,x^{3 n}}{9 n}+\frac {2 \ln \left (c \right ) f g \,x^{3 n}}{3 n}+\frac {\left (g^{2} x^{6 n}+4 f g \,x^{3 n}+6 f^{2} \ln \left (x \right ) n \right ) \ln \left (\left (d +e \,x^{n}\right )^{p}\right )}{6 n}+\frac {\ln \left (c \right ) g^{2} x^{6 n}}{6 n}-\frac {p \,f^{2} \dilog \left (\frac {d +e \,x^{n}}{d}\right )}{n}-p \,f^{2} \ln \left (x \right ) \ln \left (\frac {d +e \,x^{n}}{d}\right )+\frac {\ln \left (c \right ) f^{2} \ln \left (x^{n}\right )}{n}+\frac {i \pi \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{2} \mathrm {csgn}\left (i c \right ) g^{2} x^{6 n}}{12 n}+\frac {i \pi \,\mathrm {csgn}\left (i \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{2} g^{2} x^{6 n}}{12 n}-\frac {i \pi \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{3} f g \,x^{3 n}}{3 n}+\frac {i \pi \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{2} \mathrm {csgn}\left (i c \right ) f^{2} \ln \left (x^{n}\right )}{2 n}+\frac {i \pi \,\mathrm {csgn}\left (i \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{2} f^{2} \ln \left (x^{n}\right )}{2 n}-\frac {i \pi \,\mathrm {csgn}\left (i \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \right ) f g \,x^{3 n}}{3 n}+\frac {i \pi \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{2} \mathrm {csgn}\left (i c \right ) f g \,x^{3 n}}{3 n}+\frac {i \pi \,\mathrm {csgn}\left (i \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{2} f g \,x^{3 n}}{3 n}-\frac {i \pi \,\mathrm {csgn}\left (i \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \right ) g^{2} x^{6 n}}{12 n}-\frac {i \pi \,\mathrm {csgn}\left (i \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right ) \mathrm {csgn}\left (i c \right ) f^{2} \ln \left (x^{n}\right )}{2 n}-\frac {i \pi \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{3} g^{2} x^{6 n}}{12 n}-\frac {i \pi \mathrm {csgn}\left (i c \left (d +e \,x^{n}\right )^{p}\right )^{3} f^{2} \ln \left (x^{n}\right )}{2 n}\) | \(795\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.38, size = 273, normalized size = 0.83 \begin {gather*} -\frac {{\left (15 \, d^{2} g^{2} p x^{4 \, n} e^{4} + 360 \, f^{2} n p e^{6} \log \left (x\right ) \log \left (\frac {x^{n} e + d}{d}\right ) - 12 \, d g^{2} p x^{5 \, n} e^{5} - 360 \, f^{2} n e^{6} \log \left (c\right ) \log \left (x\right ) + 360 \, f^{2} p {\rm Li}_2\left (-\frac {x^{n} e + d}{d} + 1\right ) e^{6} + 10 \, {\left (g^{2} p e^{6} - 6 \, g^{2} e^{6} \log \left (c\right )\right )} x^{6 \, n} - 20 \, {\left (d^{3} g^{2} p e^{3} - 4 \, f g p e^{6} + 12 \, f g e^{6} \log \left (c\right )\right )} x^{3 \, n} + 30 \, {\left (d^{4} g^{2} p e^{2} - 4 \, d f g p e^{5}\right )} x^{2 \, n} - 60 \, {\left (d^{5} g^{2} p e - 4 \, d^{2} f g p e^{4}\right )} x^{n} + 60 \, {\left (d^{6} g^{2} p - 4 \, d^{3} f g p e^{3} - 6 \, f^{2} n p e^{6} \log \left (x\right ) - g^{2} p x^{6 \, n} e^{6} - 4 \, f g p x^{3 \, n} e^{6}\right )} \log \left (x^{n} e + d\right )\right )} e^{\left (-6\right )}}{360 \, n} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\ln \left (c\,{\left (d+e\,x^n\right )}^p\right )\,{\left (f+g\,x^{3\,n}\right )}^2}{x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________